De la transformation de prédicats à la transformation de programmes
نویسنده
چکیده
Les transformateurs de prédicats ont été introduits par Dijkstra et ont permis de fonder la théorie des preuves de programmes et la théorie de l’affinement des systèmes d’actions. Ce texte analyse le lien existant entre les transformateurs de prédicats et les systèmes d’actions affinés. Les hypothèses d’équité sont prises en compte et une uniformisation de la présentation permet de démontrer le lien fort entre le raffinement d’actions ou de programmes et le raffinement logique.
منابع مشابه
معمای معاهده حق مؤلف سازمان جهانی مالکیت فکری مصوب 1996
Le traite de l’OMPI sur le droit d’auteur de 1996 est venu completer et mettre à jour la convention de Berne. Il a, dans une large mesure, reussie d’atteindre ses objectifs surtout pour; l’adoption des compilations de donnees sous quelque forme que ce soit, et de logiciel comme creations intellectuelles; la precision du droit de location pour les auteurs de progra...
متن کاملفایل کامل مجلّه مطالعات زبان فرانسه دو فصلنامه علمی پژوهشی زبان فرانسه دانشکده زبانهای خارجی دانشگاه اصفهان
Tâ ÇÉÅ wx W|xâ Revue des Études de la Langue Française Revue semestrielle de la Faculté des Langues Étrangères de l'Université d'Ispahan Cinquième année, N° 8 Printemps-Eté 2013, ISSN 2008- 6571 ISSN électronique 2322-469X Cette revue est indexée dans: Ulrichsweb: global serials directory http://ulrichsweb.serialssolutions.com Doaj: Directory of Open Access Journals http://www.doaj.org ...
متن کاملElan vital chez Bergson
La Philosphie de Bergson vise la vie spirituelle, le spiritualisme, la joie, l’appétit et le changement perpétuel de la réalité. En conséquence las trios notions de la durée, de la mémoire et de l’élan vital constituent la réalité de la vie dans son cheminement et dans son progrès. L’ensemble de ces notions fondamentales décèle la contenu de la vie, et dégage la réalité de ses rigidités de l’au...
متن کاملInspiration nihiliste dans La Chouette aveugle de Sadegh Hedayat
La Chouette aveugle de Sadegh Hedayat, auteur iranien, qui appartient à la catégorie des œuvres dites « noires », se fonde sur une inspiration nihiliste. Malgré l’influence indéniable de la philosophie nihiliste dans la création de cette œuvre compliquée, il n’y a aucune étude cohérente qui traite ce sujet de différents points de vue. Ce qui est certain, c’est que Hedayat était un lecteur atten...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003